منابع مشابه
SEQL: Category learning as progressive abstraction using structure mapping
ion using structure mapping Sven E. Kuehne ([email protected]) Kenneth D. Forbus ([email protected]) Department of Computer Science, Northwestern University 1890 Maple Avenue, Evanston, IL 60201 USA Dedre Gentner ([email protected]) Bryan Quinn ([email protected]) Department of Psychology, Northwestern University 2029 Sheridan Rd., Evanston, IL 60201 USA
متن کاملRanking Abstraction as Companion to Predicate Abstraction
Predicate abstraction has become one of the most successful methodologies for proving safety properties of programs. Recently, several abstraction methodologies have been proposed for proving liveness properties. This paper studies “ranking abstraction” where a program is augmented by a non-constraining progress monitor, and further abstracted by predicate-abstraction, to allow for automatic ve...
متن کاملScope as Syntactic Abstraction
What is the logic of scope? By “scope”, I mean scopetaking in natural languages such as English, as illustrated by the sentence Ann saw everyone. In this example, the quantifier denoted by everyone takes scope over the rest of the sentence, that is, it takes the denotation of the rest of the sentence as its semantic argument: everyone(λx.saw(x)(ann)). The answer I will give here will be to prov...
متن کاملComposition as Abstraction
ion principle, of the form “αX = αY iff φ(X, Y)”. (Here α is an operator taking plural terms to singular terms: we substitute # in the case of Numbers, or σ in the case of Sums.) If T is a theory, let Tα be the result of restricting the quantifiers in T to non-abstracts. (That is, we systematically replace each occurrence of ∀x(...) with ∀x(∀Y(x ≠ αY) → ...).) Then: A is Field-conservative iff ...
متن کاملRanking Abstraction as a Companion to Predicate Abstraction,
Predicate abstraction has become one of the most successful methodologies for proving safety properties of programs. Recently, several abstraction methodologies have been proposed for proving liveness properties. This paper studies “ranking abstraction” where a program is augmented by a nonconstraining progress monitor, and further abstracted by predicate-abstraction, to allow for automatic ver...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophy of Science
سال: 2016
ISSN: 0031-8248,1539-767X
DOI: 10.1086/687939